To set X11 window class to jedit which will make it more window manager friendly
// Set X11 WMCLASS to some meaningful value
if (OperatingSystem.isX11())
{
try {
Toolkit xToolkit = Toolkit.getDefaultToolkit();
java.lang.reflect.Field awtAppClassNameField = xToolkit.getClass().getDeclaredField("awtAppClassName");
awtAppClassNameField.setAccessible(true);
awtAppClassNameField.set(xToolkit, System.getProperty("x11.class",
"jedit"));
} catch(Exception e) {
System.err.println("error setting WMCLASS");
e.printStackTrace();
}
}
| Submitted | seryakov - 2009-05-26 - 17:32:26z | Assigned | nobody |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | Remind | Visibility | No |
| 2009-08-18 - 15:27:35z ezust |
This is not an actual patch, just a suggestion of some code to add. but it needs to
be added to the correct places of the current SVN of jEdit, and then reviewed, and
then applied. This is not a complete patch. However it is a very good idea! And I'd
like to see someone put it in the right places (is it only when jEdit creates dockable
windows and views, or anywhere else?) |
|---|---|
| 2009-08-18 - 15:30:46z seryakov |
Yes, at the time i was not sure and not familiar with jEdit, just wanted to start using it and inability to be managed by window manager was the biggest problem. Currently i am using it under cairo-dock/compiz/emerald, it is working great. I agree, it needs to be added to proper place, just not sure where that might be. |
| 2009-08-18 - 18:03:45z ezust |
moving to feature requests. |